Ideal($r$)\{i\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$p$:($\mid$$r$$\mid\rightarrow$Prop$_{\mbox{\scriptsize i}}$)$\mid$ $p$ Ideal of $r$ \}